Assumptions: directed limits, self-dual
Conclusions: directed colimits
Proof: This holds by self-duality.